navigableset interface